From: Florian Müllner <fmuellner@gnome.org>
Date: Wed, 15 Apr 2020 18:27:15 +0000 (+0200)
Subject: dbusServices/extensions: Stop using :margin shortcut
X-Git-Tag: archive/raspbian/50.5-1+rpi1~1^2~616^2^2~606
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=a450550e5f2c50536453d2ebff173252b930b251;p=gnome-shell.git

dbusServices/extensions: Stop using :margin shortcut

The property has been removed in GTK4, so prepare for a port by
setting the four individual margin properties instead.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1495>
---

diff --git a/js/dbusServices/extensions/ui/extension-prefs-dialog.ui b/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
index faf69f252..e7895bba6 100644
--- a/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
+++ b/js/dbusServices/extensions/ui/extension-prefs-dialog.ui
@@ -27,7 +27,9 @@
                   <object class="GtkBox">
                     <property name="visible">True</property>
                     <property name="orientation">vertical</property>
-                    <property name="margin">100</property>
+                    <property name="margin-start">100</property>
+                    <property name="margin-end">100</property>
+                    <property name="margin-top">100</property>
                     <property name="margin-bottom">60</property>
                     <property name="spacing">12</property>
                     <child>
@@ -65,7 +67,10 @@
                                 <child>
                                   <object class="GtkBox">
                                     <property name="visible">True</property>
-                                    <property name="margin">12</property>
+                                    <property name="margin-start">12</property>
+                                    <property name="margin-end">12</property>
+                                    <property name="margin-top">12</property>
+                                    <property name="margin-bottom">12</property>
                                     <property name="spacing">6</property>
                                     <child>
                                       <object class="GtkImage" id="expanderArrow">